Sublocale Sets and Sublocale Lattices
نویسنده
چکیده
We present very short and simple proofs of such facts as co-frame distributivity of sublocales, zero-dimensionality of the resulting co-frames, Isbell’s Density Theorem and characteristic properties of fit and subfit frames, using sublocale sets.
منابع مشابه
Measure, randomness and sublocales
This paper investigates aspects of measure and randomness in the context of locale theory (point-free topology). We prove that every measure (σ-continuous valuation) μ, on the σ-frame of opens of a fitted σ-locale X, extends to a measure on the lattice of all σ-sublocales of X (Theorem 1). Furthermore, when μ is a finite measure with μ(X) = M , the σ-locale X has a smallest σ-sublocale of measu...
متن کاملSublocales in formal topology
The paper studies how the localic notion of sublocale transfers to formal topology. For any formal topology (not necessarily with positivity predicate) we define a sublocale to be a cover relation that includes that of the formal topology. The family of sublocales has set-indexed joins. For each set of base elements there are corresponding open and closed sublocales, boolean complements of each...
متن کاملComputable Sets: Located and Overt Locales
What is a computable set? One may call a bounded subset of the plane computable if it can be drawn at any resolution on a computer screen. Using the constructive approach to computability one naturally considers totally bounded subsets of the plane. We connect this notion with notions introduced in other frameworks. A subset of a totally bounded set is again totally bounded iff it is located. L...
متن کاملLocatedness and overt sublocales
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that the two notions are intimately connected. Bishop defines a metric space to be compact if it is complete and totally bounded. A subset of a totally bounded set...
متن کاملOAL 16 : Conference in Honor of the 90 th Birthday of Bernhard Banaschewski
In the last talk of this conference, Joanne Walters-Wayland will discuss a continuum of minimizable properties of sublocales of a (completely regular) locale. By that is meant a property P such that above any dense sublocale S of a locale L there is a least sublocale having property P. Such properties induce a contraction of the lattice of prenuclei of the frame, i.e., an order-preserving map w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006